"Stephen C Kleene" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Mathematical Logic

Stephen Cole Kleene

Категория: Математика, Прикладная математика

4.05 Mb

#2

The Foundations of Intuitionistic Mathematics (Studies in Logic and the Foundations of Mathematics, 39)

Stephen Cole Kleene, Richard Eugène Vesley

9.79 Mb

#3

The Kleene symposium: Proceedings Madison, 1978

Stephen C. Kleene, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, University of Wisconsin--Madison, 1978 Kleene Symposium

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.82 Mb

#4

The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

Stephen C. Kleene, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, University of Wisconsin--Madison, 1978 Kleene Symposium

4.95 Mb

#5

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Stephen Cole Kleene, R.E. Vesley

Категория: Mathematical logic

1.59 Mb

#6

Collected works. Publications 1929-1936

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

Категория: Mathematical logic

4.26 Mb

#7

Collected works. Publications 1938-1974

Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R. Solovay, the late Jean van Heijenoort

Категория: Mathematical logic

3.42 Mb

#8

Mathematical logic

Stephen Cole Kleene

Категория: Mathematical logic

2.92 Mb

#9

Collected Works: Volume I: Publications 1929-1936

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

Категория: Математика

26.18 Mb

#10

Turing's Analysis of Computability and Major Applications of it (Oxford

Stephen C Kleene

1.74 Mb

#11

Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

13.27 Mb